Warning:
MathJax
requires JavaScript to process the mathematics on this page.
If your browser supports JavaScript, be sure it is enabled.
Papers
γ
/
Sergey Kirgizov
Add paper
/
See catalog
/
Register
/
Login
Wellcome to
Sergey Kirgizov's
library,
You can find here all papers liked or uploaded by Sergey Kirgizov
together with brief user bio and description of her/his academic activity.
Sergey's personsal site : http://kirgizov.link.
☆
1
Comments:
How software verification paradigm deals with Thompson hack?
How software verification paradigm deals with Thompson hack?
Russ Cox actually run it! [Running the “Reflections on Trusting Trust” Compiler](https://research.swtch.com/nih)
Russ Cox actually run it! [Running the “Reflections on Trusting Trust” Compiler](https://research.swtch.com/nih)
Read the paper, add your comments…
☆
0
Comments:
[Their comment](https://onlinelibrary.wiley.com/doi/10.1111/meta.12600)
[Their comment](https://onlinelibrary.wiley.com/doi/10.1111/meta.12600)
Read the paper, add your comments…
☆
1
Comments:
Read the paper, add your comments…
Pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
About
/
Contributors
/
Source code
/
Open data
/
Contact us
F.A.Q, terms of use, privacy policy
Broadcast tower icon comes from
icon8 set
Papersᵞ — Discussion board for scientific papers
Founded in 2015
Comments: